$\forall$$M$:MsgA, $a$:Id. $a$ in dom($M$.pre) $\in$ Prop